A Parametrized Algorithm for Matroid Branch-Width
نویسنده
چکیده
Branch-width is a structural parameter very closely related to tree-width, but branch-width has an immediate generalization from graphs to matroids. We present an algorithm that, for a given matroid M of bounded branch-width t which is represented over a finite field, finds a branch decomposition of M of width at most 3t in cubic time. Then we show that the branch-width of M is a uniformly fixed-parameter tractable problem. Other applications include recognition of matroid properties definable in the monadic second-order logic for bounded branch-width, or [Oum] a cubic approximation algorithm for graph rank-width and clique-width.
منابع مشابه
Approximating clique-width and branch-width
We construct a polynomial-time algorithm to approximate the branch-width of certain symmetric submodular functions, and give two applications. The first is to graph “clique-width”. Clique-width is a measure of the difficulty of decomposing a graph in a kind of tree-structure, and if a graph has clique-width at most k then the corresponding decomposition of the graph is called a “k-expression”. ...
متن کاملThe Tutte Polynomial for Matroids of Bounded Branch-Width
It is a classical result of Jaeger, Vertigan and Welsh that evaluating the Tutte polynomial of a graph is #P -hard in all but few special points. On the other hand, several papers in past years have shown that the Tutte polynomial of a graph can be efficiently computed for graphs of bounded tree-width. In this paper we present a recursive formula computing the Tutte polynomial of a matroid M re...
متن کاملTesting branch-width
An integer-valued function f on the set 2V of all subsets of a finite set V is a connectivity function if it satisfies the following conditions: (1) f(X) + f(Y ) ≥ f(X ∩Y )+ f(X ∪Y ) for all subsets X, Y of V , (2) f(X) = f(V \X) for all X ⊆ V , and (3) f(∅) = 0. Branch-width is defined for graphs, matroids, and more generally, connectivity functions. We show that for each constant k, there is ...
متن کاملComputing Representations of Matroids of Bounded Branch-Width
For every k ≥ 1 and two finite fields F and F , we design a polynomial-time algorithm that given a matroid M of branch-width at most k represented over F decides whether M is representable over F ′ and if so, it computes a representation of M over F . The algorithm also counts the number of non-isomorphic representations of M over F . Moreover, it can be modified to list all such non-isomorphic...
متن کاملOn the Excluded Minors for Matroids of Branch-Width Three
Knowing the excluded minors for a minor-closed matroid property provides a useful alternative characterization of that property. It has been shown in [R. Hall, J. Oxley, C. Semple, G. Whittle, On Matroids of Branch-Width Three, submitted 2001] that if M is an excluded minor for matroids of branch-width 3, then M has at most 14 elements. We show that there are exactly 10 such binary matroids M (...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- SIAM J. Comput.
دوره 35 شماره
صفحات -
تاریخ انتشار 2005